/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#10=BAXM30/FONT#11=ZERO30/FONT#3=STA200/FONT#4=NGB25
␈↓ ↓H␈↓␈↓βS␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305

␈↓ ↓H␈↓∧Telephone 415 497-4430␈↓ 	␈October 6, 1977 




␈↓ ↓H␈↓Professor Martin Ringle
␈↓ ↓H␈↓Box 693
␈↓ ↓H␈↓Phillipsport, N.Y. 12769

␈↓ ↓H␈↓Dear Professor Ringle:

␈↓ ↓H␈↓        Here␈α∞is␈α∞another␈α∞copy␈α∞of␈α∞my␈α∞paper␈α∂and␈α∞copies␈α∞of␈α∞two␈α∞other␈α∞papers␈α∞␈↓↓First␈α∞order␈α∂theories␈α∞of
␈↓ ↓H␈↓↓individual␈α∃concepts␈α∃and␈α∀propositions␈↓␈α∃and␈α∃␈↓↓Circumscription␈α∀...␈↓.␈α∃ If␈α∃they␈α∀seem␈α∃suitable␈α∃for␈α∀the
␈↓ ↓H␈↓publications␈αyou␈α
are␈αplanning,␈αI␈α
would␈αbe␈αglad␈α
to␈αhere␈α
about␈αit.␈α They␈α
both␈αrequire␈αsome␈α
revision
␈↓ ↓H␈↓which can be done quickly.

␈↓ ↓H␈↓        As␈α⊂I␈α⊂mentioned,␈α⊂I␈α⊂have␈α⊂been␈α⊂asked␈α⊂to␈α⊂plan␈α⊂a␈α⊂study␈α⊂group␈α⊂on␈α⊂philosophy␈α⊃and␈α⊂arti≡cial
␈↓ ↓H␈↓intelligence␈α⊂for␈α⊂the␈α⊂Center␈α⊂for␈α⊂Advanced␈α⊂Study␈α⊂in␈α⊂the␈α⊂Behavioral␈α⊂Sciences␈α⊂to␈α⊂be␈α⊂held␈α⊂in␈α∂the
␈↓ ↓H␈↓academic year 1979-80.  The Center is not yet committed to holding the study.

␈↓ ↓H␈↓        I␈α⊂want␈α⊂people␈α∂with␈α⊂three␈α⊂kinds␈α∂of␈α⊂interest:␈α⊂(1)␈α∂philosophers␈α⊂interested␈α⊂in␈α⊂applying␈α∂ideas
␈↓ ↓H␈↓about␈α
arti≡cial␈α
intelligence␈αto␈α
philosophical␈α
problems,␈α
(2)␈αAI␈α
people␈α
interested␈α
in␈αthe␈α
philosophical,
␈↓ ↓H␈↓especially␈αepistemological,␈αproblems␈αassociated␈αwith␈α
giving␈αprograms␈αa␈αgeneral␈αworld-view,␈αand␈α
(3)
␈↓ ↓H␈↓people␈αinterested␈αin␈αthe␈αformalization␈αof␈α
concepts␈αlike␈αknowledge,␈αintentions,␈αgoals,␈αand␈αhopes␈α
that
␈↓ ↓H␈↓arise␈αin␈αthe␈αabove␈αendeavors.␈α I␈αwould␈αbe␈αgrateful␈αfor␈αyour␈αsuggestions␈αas␈αto␈αparticipants.␈α If␈αyou
␈↓ ↓H␈↓are␈αinterested␈αyourself,␈αplease␈αsend␈αme␈αa␈α
bibliography␈αand␈αnames␈αof␈αreferences.␈α You␈αget␈αto␈α
do␈αit
␈↓ ↓H␈↓all over again in connection with an o≠cial application later.


␈↓ ↓H␈↓Best regards,



␈↓ ↓H␈↓John McCarthy
␈↓ ↓H␈↓Director
␈↓ ↓H␈↓Professor of Computer Science